- 近义词
- 双语例句 更多例句
1、
Remainder method for the mechanical theorem proving in first-order predicate calculus
一阶谓词演算定理机器证明的余式方法
互联网摘选
2、
3、
谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.
互联网摘选
4、
5、
具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。
互联网摘选
- 相关词组
- meteorological calculus气象计算
- mixed calculus混合性结石
- matrix calculus矩阵计算
- logical calculus逻辑运算
- computable predicate可算谓词;
- calculus cirrhosis[医] 胆石性肝硬变;
- decubitus calculus久卧结石;
- calculus bovis牛黄;
- semantic predicate[计]语义谓词;
- vesicoprostatic calculus膀胱前列腺石
- logical predicate逻辑谓语
- differential and integral calculus微积分;
- gastric calculus胃石
- magnesium ammonium phosphate calculus磷酸镁铵结石
- calculus removed[医]结石排除，结石移除;
- logical statement predicate逻辑陈述谓词
- differential calculusn.微分学;
- vector calculus矢量[向量]计算,矢算,矢量微积分
- salivary calculus[医] 涎石，牙石，涎性牙垢;
- relational calculus关系演算（式）;
- 今日热词
- 热门搜索
- commit suicide 自杀;自寻了断;抹脖子;引决自裁;
- snatch n.抢;一阵子，一下工夫;很小的数量;<美俚>诱拐;vi.作出握住或抢夺的动作;很快接受;
- remember v.记得;记住;记着，不忘（去做）;想起;记起;纪念;回想起;把…牢记在心;给…送钱（或礼品等）;代为问候;给送礼物;
- unusual adj.特别的，不寻常的;独特的，别致的;
- be v. 是;有，存在;做，成为;发生;aux. 用来表示某人或某物即主语本身，用来表示某人或某物属于某一群体或有某种性质;
- membership n.会员身份，成员资格/人数;
- mecom abbr.marine engine condition monitor(ing) 船舶发动机状况监视;中东电子通讯展;国际通讯展览会;中东国际通讯展览会;国际电子通讯展览会;中东国际电子通讯展览会
- salesman n.男售货员;男推销员;
- pig n.猪;猪肉;令人不快（或讨厌）的人;金属块（锭）;v.使贪婪地吃;使拼命大吃;
- how you like that 你觉得怎么样?
- grill n.(炊具、烤炉内的)烤架;烤肉店;门窗格栅;一盘烧烤食物(尤指烤肉);烤肉餐馆v.烧烤;烧;追问;
- cultivator n.中耕机;耕耘机;耕种者;农民;
